Books by author Thomas A. Henzinger

Showing 1 – 9 out of 9 results

1. 

   Handbook of Model Checking

   Roderick Bloem, Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith | Springer International Publishing AG, 2018

   
   

   50/50 - We search the world

   Language: English

   Binding: Hardback

   143.86 €

   Sale 7 %

   You save 12.05 €

   Buy
2. 

   Computational Methods in Systems Biology

   Ashutosh Gupta, Thomas A. Henzinger | Springer, Berlin, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
3. 

   Computer Science Logic

   Jacques Duparc, Thomas A. Henzinger | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.84 €

   Sale 7 %

   You save 8.61 €

   Buy
4. 

   Handbook of Model Checking

   Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem | Springer Nature Switzerland AG, 2019

   
   

   50/50 - We search the world

   Language: English

   Binding: Paperback

   158.21 €

   Buy
5. 

   Formal Modeling and Analysis of Timed Systems

   Krishnendu Chatterjee, Thomas A. Henzinger | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Low in stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Paperback

   55.96 €

   Buy
6. 

   Mathematical and Engineering Methods in Computer Science

   Antonin Kucera, Thomas A. Henzinger, Jaroslav Nesetril, Tomas Vojnar | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
7. 

   Embedded Software

   Thomas A. Henzinger, Christoph M. Kirsch | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2001

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
8. 

   Hybrid Systems III

   Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag | Springer, Berlin, 1996

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.84 €

   Sale 7 %

   You save 8.61 €

   Buy
9. 

   Hybrid Systems: Computation and Control

   Thomas A. Henzinger, Shankar S. Sastry | Springer, Berlin, 1998

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy

We send books in special cardboard delivery boxes. Find out more